non{-}void{-}decl($T$;${\it eq}$;$d$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$T$${\it eq}$$\forall$$x$$\in$dom($d$). $A$=$d$($x$) $\Rightarrow$  $A$